The Smith and Critical Groups of the Square Rook's Graph and its Complement

Let Rn denote the graph with vertex set consisting of the squares of an n × n grid, with two squares of the grid adjacent when they lie in the same row or column. This is the square rook’s graph, and can also be thought of as the Cartesian product of two complete graphs of order n, or the line graph of the complete bipartite graph Kn,n. In this paper we compute the Smith group and critical group of the graph Rn and its complement. This is equivalent to determining the Smith normal form of both the adjacency and Laplacian matrix of each of these graphs. In doing so we verify a 1986 conjecture of Rushanan.